『The Esterel v5 Language Primer Version 5.21 release 2.0』